class BASE
    feature 
            test()  deferred end
end

frozen class FROZENBASE
    feature 
            test()  deferred end
end

deferred class AbstractBase
    feature
            test() deferred end
end

frozen class FrozenDeferred
    inherit
            AbstractBase
end